The FrameNet Data and Software Collin F. Baker International Computer Science Institute Berkeley, California, USA

Source URL: www.aclweb.org

Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh,

Source URL: blog.klipse.tech

A D R I A N F. C L A R K CE705: PROGRAMMING IN PYTHON COMPUTER SCIENCE AND ELECTRONIC ENGINEERING

Source URL: orb.essex.ac.uk

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

Source URL: www.nicolapaoletti.com

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science ENSURING CORRECTNESS! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br

Program Worksheet – Computer Science and Biology MATH 100, 102, 104, 110, 120, 180, or 184 ____ BIOL 112 ____

Source URL: biologyprogram.sites.olt.ubc.ca

Survivability of Large Networks in the Presence of Malicious Attacks Casey T. Deccio, Spencer Cox, Matthew Smith, Jacob Wan, Mark Clement, and Quinn Snell Computer Science Department Brigham Young University

Source URL: m.smithworx.com

Variational models Dustin Tran Department of Computer Science Columbia University Joint work with:

Source URL: dustintran.com

Keypoint Transfer Segmentation C. Wachinger1,2(B) , M. Toews3 , G. Langs1,4 , W. Wells1,3 , and P. Golland1 1 Computer Science and Artificial Intelligence Lab, MIT, Cambridge, USA

Source URL: people.csail.mit.edu

• Image segmentation
• Market segmentation

CloudSeal: End-to-End Content Protection in Cloud-based Storage and Delivery Services Huijun Xiong§, Xinwen Zhang†, Wei Zhu†, and Danfeng Yao§ §Computer Science Department, Virginia Tech, Blacksburg, VA, USA {huij

Source URL: people.cs.vt.edu